Wyniki
-
Entailment relations and matrices I
Jan Zygmunt
Bulletin of the Section of Logic , 8 /2 (1979) s. 112-119 -
Notes on decidability and finite approximability of sentential logics
Jan Zygmunt
Bulletin of the Section of Logic , 10 /1 (1981) s. 38-41 -
The sequent Gentzen system for m-valued logic
Zygmunt Saloni
Bulletin of the Section of Logic , 2 /1 (1973) s. 30-35 -
"Multiplicity Type and Subalgebra Structure in Universal Algebras", Matthew Gould, [w:] „Pacific Journal of Mathematics”, Nr 3, t. 26, R. 1968; "Multiplicity Type and Subalgebra Structure in Infinitary Universal Algebra", Matthew Gould, [w:] „Colloqium Mathematicum”, t. 24, R. 1971 : [recenzja]
Jan Zygmunt
Bulletin of the Section of Logic , 1 /3 (1972) s. 72-76 -
A theorem on the degree of complexity of some sentential logics
Jacek Hawranek, Jan Zygmunt
Bulletin of the Section of Logic , 9 /2 (1980) s. 68-70 -
Another proof of Wojtylak's theorem
Jacek Hawranek, Jan Zygmunt
Bulletin of the Section of Logic , 10 /2 (1981) s. 80-82 -
Some elementary properties of conditionally distributive lattices
Jacek Hawranek, Jan Zygmunt
Bulletin of the Section of Logic , 12 /3 (1983) s. 117-121 -
Notes on the semantics for the logic with semi-negation
Jacek Hawranek, Jan Zygmunt
Bulletin of the Section of Logic , 12 /4 (1983) s. 152-156 -
Comments on the question of Wolniewicz's
Jacek Hawranek, Jan Zygmunt
Bulletin of the Section of Logic , 19 /4 (1990) s. 128-132